Stephen Cook, 1982 Acm Turing Award Recipient